Vagueness of law