Puzzles in Logic, Languages and Computation: The Red