antilogy
not defined yet