jessicata comments on Dequantifying first-order theories

[jessicata]

Thanks, didn’t know about the low basis theorem.