Continued writing semantic analysis. Safety commit.