ei kirjoteta ehto kuin kerran + tarkempi ehto
lisäksi varmistetaan, että ei yliajeta mitään muuttujia