elephant (paper size) (300265454) 'distinguished from' elephant folio (300404415);