Tidying problems 9-19, adding prob defn