The functional algebra defining F implicitly encodes computational assumptions (e.g., bounded recurs...