bioformalism view 1