The idea Methodology Stable contracts Proof Demo: Stance Contracts