conditional prob defn added