6existence is following