simultaneous assignment

[Diez B. Roggisch]

> Hmm, classes still scare me a little, but I should consider this. The
> only thing is, it is not known in advance if the propositions are true
> or false, you have to figure that out yourself based on the combination
> of the statements given. I don't know if this changes the idea behind
> your Proposition class...I'll have to give it some more thought.

No, that was just an example to illustrate the comparison semantics. I don't
know enough about your problem to model it more appropriately.

Besides, you can of course change that self._v of a proposition.

Diez