down the evaluated program. When a [...] of each function in the program [...] is to first select
down the evaluated program. When a [...] implicitly at the first [...] different program