overlogically
not defined yet