I'm not upset, but what you're proposing is just stupid. If you think that mathematical formalization is a desirable quality then you clearly don't understand the purpose of having a legal system in the first place.