Huh I’m not too far familiar with vectors. How do we know that R dot (-p) > 0 always