Is this a valid specification?

It COULD be, if you write it. That is, if you created a customer matcher... But you didn't, so you got an error about a "matcher"