logic prob