proposed changes for Terms and Definitions

Undefined behavior may result from correct programs sometimes. Also this explains better that undefined behavior means no guarantees.