A Normal Form
Backlinks
Separation Logic