A program which should return t or nil to include or exclude the provided item.
The output of the program.
The final expression the program has been reduced to.