overvarying
not defined yet