CJ's Pull Request - Style Stuff

Pull request for review of triangle facts and robot name style related refactorings
Extra blank line detected.<br>Extra empty line detected at body end.