Edited: format for all classes and some logics that I can find