Poetic Process proofs [1]