(assert((_ extract 0 1