Formality Complexity Precision Auto