Next Move Algebra Definition