Poetic Process proofs [3]