So, the most interesting part is how come Lorentz did not realize his
contradiction? Simple, he was content to derive the transformations
that leave Maxwell's equations invariant. Had he proceeded to derive
the speed composition formulas he would have noticed the contradiction
between premise and final result.