Mechanism before description, evidence before assertion.

The same order at every layer, from a page table to a distributed transaction.