Events, lift unification, rising edge counter example