Simplify and existence check.