formalizer tool