Intent of a_=_1, (a_=_1)

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