Template:AimForCont

Insert  for an abbreviation that expands to:


 * Aiming for a contradiction, suppose ''