formalistically

not defined yet