PEPE Proof #23

PEPE Proof #23

Traits