Avainsanayhdistelmä: +probability, logic