Gay marriage would break the OCL specification

No wonder the Americans (and some formal specification weenies in Australia) have acted to ban gay marriage. It would cause a whole raft of issues to be raised with the Object Constraint Language (v2.0), and it would never get out of finalisation task force. In the first 19 pages (of 200+) I have already found many constraints to do with marriage and gender that would need to be rewritten. :-| Invariants aint what they used to be!