Snippets Hilbert Decision Problem pix