Redirecting to Hilbert's Nullstellensatz