1). Deformalized 2). Deformalizes
1). Deformalize 2). Formalizers
1). Formalized 2). Formalizer 3). Formalizes
1). Formalize