p4ex4. Introduction