Created Predicates for Puzzle