Tried to save some space in formalism section