A tabletop deduction puzzle: set a code, hand it over, watch them reason it out. Two-player logic that actually teaches logic.