exponentiations
not defined yet