adding checkDefined precondition
cleaning up default message assignment
adding checkDefined to readme