Proof -- duty in olive