Logics -- Proof Methods for MHL.