(assert (=(_ extract 2 2)