4 Gate of Formulization