FinalFormal2 comments on what becoming more secure did for me