generaliter
not defined yet