Prepared for proper logic with quantifiers and for implementing move properly