Intent of not_a_=_1, not_(a_=_1)

All 2 exact tests in this concept. Every test is marked by where it enters the hierarchy.