a can have a f(x) term as well. So a double exclusion would rule out that possibility. I think this is the best possible way.