¿Qué es una vaguedad extensional?