A TFA-based Glance at Optimality Theory