--->
Dummy
EventLike
InvariantEvent
-/->
Dummy
EventLike
InvariantEvent