Connection Logic, Names, Formatting