laxness
not defined yet