Template:AimForCont

Insert  for an abbreviation that expands to  Aiming for a contradiction, suppose .