Phonology needs geometry: implicit axioms in segmental representation