Proof -- duty in green