Svag matchende rim for implications