s exists if and only if the number of places where it is ramified is even, which is condition (vii). We impose (i), and since (vii) can be satisfied while (i) holds, we have quaternion algebras $B$ satisfying (i) 