micro formalism view 2