Averruncate definitions