I declare ~bankruptcy~ formal verification