när , såsom de lärde räknat ut,