lazy.h description no longer quantifies the functions