prelogical

not defined yet