ok at least one test passes with exists2
asdads