A name for omitted definitions