0 imply | Definition of imply