lambda s --> lambda s / root2