Logic puzzles are easy with (amb) and (require)
That was pretty cool