informality
not defined yet