let (+!) r s = union r s