On systems defined by implicit etc door William Barrett