Svagt matchande rim för existence function