Home Automation Puzzles: Master Smart-Home Logic