The proper treatment of optimality in computational phonology · Study