Svagt matchande rim för implication function