no the & would not return as a caveat, you would just have a caveat type that can say: "go run this other check"