GARDENER (D&C). Economy of implication