Reglas básicas de derivación

Reglas básicas de derivación
Active — user can report