Hilbert's Nullstellensatz over quaternions · wovepaper