Some Notes on the Formal Properties of Bidirectional Optimality Theory · Study