Structured and Punctured Nullstellensätze | Synapse