Intent of Cycle D3) accepts the canonical 5-value union, rejects anything else|occurrence=1

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