Tricky Math In Homotopy Theory