Just had a great time practicing formal logic with It was a fun and challenging way to brush up on my logical reasoning skills. Highly recommend giving it a try. I took the riddle from Raymond Smullyan's book "What is the name of this book?".