Simply asserting the same predicate of two related names always constitutes tafrīʿ.