Trying to learn a tac infinite has made me gain so much respect for the people who can do this until death