- | roi_id : forall smme:SMMEs, ReificationOrIdentity smme smme
- | roi_reif : forall s1 s2:SMMEs, Reification s1 s2 (mon_i s2) -> ReificationOrIdentity s1 s2.
+ | roi_id : forall smme:SMMEs, ReificationOrIdentity smme smme
+ | roi_reif : forall s1 s2:SMMEs, Reification s1 s2 (enr_c_i s2) -> ReificationOrIdentity s1 s2.