On the notions underlying struct.proc. by Sussex