have left transitions incomplete, and assuming definition of equ? from 2.79