I3: Everything done up to extensions