Verifying Different-modality Properties for Concepts Produces Switching Costs