20 follows from 3000