Lesson 3 — 6 nuanced absorption tests — proving execute_adl against the matrix