logically

not defined yet