  We develop an algebraic frame for the simultaneous treatment of actual and
possible properties of quantum systems. We show that, in spite of the fact that
the language is enriched with the addition of a modal operator to the
orthomodular structure, contextuality remains a central feature of quantum
systems.
