En predikokondition kan erhållasnu