Optimality-Theoretic Syntax door