La pregunta de Boolos era preguntar a A: