Loosely matching rhymes for truth function