REFERRER: Drop section 1.4 about object capability discipline