micro formalism view 1