Module:R:M&A/lemmas collision to ix phrase/documentation