. "An algorithmic set of steps so to speak, to check such functions as presented in (a) to (e)." . . .