added precondition to readme