Intent of two_conditions, two_conditions, +1

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