dirichletian
not defined yet