Justifying elimination rules (Klev)