Poetic Process proofs [2]