(assert (=(_ extract