Yeah, but there are interesting criteria: an abstract definition for theoretical re-construction of reference artifacts(I don’t know if anyone has ever actually

Yeah, but there are interesting criteria: an abstract definition for theoretical re-construction of reference artifacts(I don’t know if anyone has ever actually re-built a reference without comparing it to a previously existing reference during development), using integers in the definition where it makes sense, etc.