Do complex numbers exist? (wonkish)