Bug?

One of my favorite CS concepts is unification).

One of my least-favorite CS concepts is parentheses.