Loosely matching rhymes for logic procedure