Looks like @martingardner hasn't received any replies!