Svag matchende rim for implication function