General revision and inclusion of Exists Function