a \cdot \beta > 0