Jack comments on A note on the description complexity of physical theories

[Jack]

But that’s not really a theory, it’s a conjuction between two different theories,

It’s actually the disjunction.

[ArisKatsaris]

Yes, apologies. Fixed above.