Properties of Antiderivatives