Successfully added a 3-place element to the model.
Trying to program distinguishability in the model; everything works except evt.
Adding two events works, but is horribly buggy.
Less than... checking added.