e is a program designed to analyze validity of a boolean statement (non-computational)