Core logic puzzles