>>14140702Mostly as shortcuts for proving stuff.
Like in cs to prove by construction that there is a recursively enumerable language
that is not recursive, it is a real pain. Whereas a proof using cardinality is a one-liner.
The time saved can be applied to study more the intricacies of MySQL. We all agree
that that stuff is really useful, right?
