informalness
not defined yet