feat(library/definitional): add auxiliary functions
checkpoint