Fixed redundance in prob11.clj