Beyond sotif Black swans and formal methods