Small progress in an infinite time! I don’t know why but despite the obligatory break due