You're completely right, I had forgotten about constructive geometry. Thanks for pointing it out!