Re: [RFC][PATCH v2 02/12] diglim: Basic definitions