Describir: Intuitionistic Logic and Elementary Rules.