Comment Comment by lgm__ Thank you, I never heard about Smullyan, I'll check that out. parent lgm__ 4 years ago