antilogies

not defined yet