6.1251

Hence there can never be surprises in logic.