Start explaining Gabber's argument