cavity correctness markntoys twoarrays