Not sure about this. The opposite of a pet peeve would necessarily be a undomesticated, wild, or feral peeve. In this case, by simple inversion that'd be demon

Not sure about this. The opposite of a pet peeve would necessarily be a undomesticated, wild, or feral peeve. In this case, by simple inversion that'd be demonstrating things through programming, that would be more challenging to prove with mathematics. By such a standard, the four-colour theorem would be an example of a feral peeve. However, the work of Agner Krarup Erlang would not.