INIT a
TRANS !a | a & !next(a)
SPEC AG a
