(assert (_ extract