Heiliger Strohsack, formale Verifikation ist schwer.