Գրեք սա: Bidirectional optimality theory