That its a type error is clear enough (I don’t know if its a serious one under an atmosphere). But what follows from that?
That its a type error is clear enough (I don’t know if its a serious one under an atmosphere). But what follows from that?