theorizations
not defined yet