<> <> <> <<>> Run CasabaFormattingImpl