elenctic
not defined yet