Back to Basics: Doing Formal “The Right Way”