Svagt matchande rim för axiomatisk