implement Exists.AA_TestCases