Carmen proof 3