This week we continue developing some more language and notation to be able to prove whether or not the 15 puzzle has a solution...