We catch up with Raymond Smullyan, master logician.