Admissible Tools in the Kitchen of Intuitionistic Logic