Možda ćeš dobiti više rezultata, ako podesiš upit pretraživanja.

• Uklanjanje navodnika može dozvoliti šire pretraživanje: Lógica de Hoare.