P1 of the supporting argument assumes κ-many inaccessibles below κ, but this requires assuming consi...