micro formalism view 3