Admissible rules in the implication-negation fragment of intuitionistic logic