Svag matchende rim for existence function