Looks like @martingardner hasn't commented yet!