Looks like @martingardner hasn't posted yet!