Kepler nor Newton entertained a doubt of it. No Bill of Attainder, ex post facto Law, or Law impairing the Obligation.