Verifying Different-Modality Properties for Concepts Produces Switching Costs