Now exposes formalizer.