Constructive calculation