Author: Arthur Smullyan, Paul Dietrichson, David Keyt and Leonard Miller