Diagram p

formula_3 = formula_5