Finite Moves, Logické