Costs of an Abstracting Program