@Kit_Yates_Maths @MarcusduSautoy maybe I'm thinking of Smullyan: everything2.com/title/Logical+… (can't believe I just googled "smullyan pickup lines")