p or q implies r