REFL.
Refl. intro
Refl. outo