Proof -- duty in purple