formalectric view 1