function, theory of (1000162203);