generative formalism view 3