Impl-Format: Code the condition section section formatter.