implies

then

implies

, or that, if all

's are