Verified Maxima Culpa