facts pervasive within function calls