If-clauses and probability operators
scientific article; zbMATH DE number 6122410