Poetic Process proofs [4]