Spin One-half, Bras, Kets, and Operators