(cat any dog or ())