added assertiosn to PP 5.4