Simplifying and Identifying Undefined Values