Isolation Proof Flows