Is higher order vagueness coherent