A set of logically interrelated propositions is associated with a