Formalities Comparison Graph