A Proof Against Vagueness & Why It’s Hard