Documented def