CompareWords
Compare
Deriving
Definition:
(p. pr. & vb. n.) of Derive