formalectric view 3