Archived tweet #9282 from the @leastfixedpoint Twitter Archive

I swear, coq, I *will* defeat you. Even though you've only given me "universe inconsistency error" several hundred lines away from the root of the problem twice in a row now.