proto/quivr/models/proposition.pbenum library