a function f where its evaluation history is relevant