On the construction comput.methods etc by Stelling