Mazur 13 port: ofOverlap_mul