apodeictically

not defined yet