so how would you reqrite the Exist logic?