hyperlogical
not defined yet