The space Q of quantum propositions is also sequentially complete: any pairwise-disjoint sequence { V i } i of elements of Q has a least upper bound. Here disjointness of W 1 and W 2 means W 2 is a subspace of W 1. The least upper bound of { V i } i is the closed internal direct sum.