added y counting, but P(ABA) is no longer properly going up
FixedP(ABA) computation to condition tags on previous; properly rises now