Simple moves. No asserts.
Move correctness.