Hot: helmholtzian-operator