@ hayato John canceled  the summoning before heading to the gym, mostly so that if he did have to spar the first years, he could show why it was a good idea to if possible have magic prepared in advance due to the longer casting time.