A system can be taken from the initial state p1