Use base Formalizer