Formal theory of except.gen.phonology by Zonneveld