Is functional reduction logical reduction? - Kistler, Max (Array, 2005)