apropos





computation is well-defined execution