Thus, implies either: