[I7] Second order logic

Thanks, zarf. I suspected that something like this would be the only practical way of getting what I want, but I had some slight hope that I was missing a better way of doing it. Unfortunately, I wasn’t. :wink: