Kann Kontingenz formalisiert werden?