CJ's Pull Request - Style Stuff

Pull request for review of triangle facts and robot name style related refactorings
Again, newlines are not a solution here. Think about this line and why it's so long. How can you fix it in general?