Proof-theoretical characterization of (non)contingency, essence, and accidenceдоклад на конференции