arg
constraints sort of
some more logic puzzles