Intensional properties of functions—such as how a computation proceeds, not just its input-output be...