Underspecification and contextual faithfulness in analysing opacity with OT and rule-based serialism | Synapse