Svag matchende rim for truth variable