システム内の総票数はvであり、中止およびコミットのquorumをそれぞれ、vaとvcとする。