let tors l = List.fold_left tor TFalse l