^∗This vector and the other vectors defined here are column vectors.