Notes on Lit3 — Part 7: The Permanence Framework