Stav dette: Proof and other dilemmas