primer postulado en la interfaz