compose p-second in terms of p-rest and p-first