CompareWords
Compare
Propped
Definition:
(imp. & p. p.) of Prop