Everyday Astronaut does an excellent job explaining the differences between last year’s BFR* concept and this year’s new design.
* BFR = Big Falcon Rocket (yeah, totally)
Contrafactual
That which is not true, but could be true under certain conditions.
Contrafactual 