Grounds are exhaustive