dilogical

not defined yet