Dump unnecessary pair of parentheses.
Consistency condition for functions defined by multiple partial definientia.