Conflating the modal claim 'some inclusion must be proper' with the epistemically stronger 'we know ...