[IAmNotAFix]

There are situations where N disobeys N+1 but N+2 knows the value of N, which makes N+1 unable to fire N.