Sorry to commit thread necromancy, Joey, but only just back on the clock. Can you elaborate on

you can define a caveat that combines the expressions of two other caveats

? How does this look? Surely you don't mean invoke the other caveats like a function call...?