Hilbert rule 34