The switching objection (P5) presupposes a context-independent carrier of properties, but a thorough...