discretely
not defined yet