entailers

not defined yet