Add get to formalizer