On systems defined by implicit etc by William Barrett