varepsilon, etc.