It's not specifically about logic. It is possible to model and measure the radiative effect of contrails.