In 1976 John Goldsmith introduced autosegmental phonology. Who founded operating tiers?