top of stack en meer preconditions:moveback movefront