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