-
Yesterday I couldn't use a software library because it's hardcoded in an unconfigurable way. Today I cannot use a lemma because it has an hypothesis incompatible with my application.
-
More fuel for my theory that anyone who can distinguish software engineering from mathematics hasn't worked enough with at least one of them.