simplificaciones aparentemente inocuas, que lograron GREEN!