superlogical
not defined yet