Definition of "codifies"