Removed unnecessary Notation variable in Main