exhaustable
not defined yet