Logic puzzles (small test)