new formal example of p1_4

something need to notice