inconstant
not defined yet