Added precondition to description.