Towards computation properties injection door K.M.W. Douven