This use of `DeclareAll` makes it clear that this is not the right name for that function. It should be called `List2fAnds` or something like that.