existance assertions