premise: Controllers would notify their supervisors , who in turn would inform management all the way up to FAA headquarters in Washington and true is true and true is true and true is true and true is true and true is true .
hypothesis: The controllers would n't notify their managers and the managers would n't notify the FAA .