 This same framework-sensitivity issue can be illustrated by considering substructural logics in multiset-based frameworks. Classical Linear Logic has two versions of the propositional constants (or 0-ary connectives) ⊥ and ⊤, called (in the relevance tradition—see Avron 1988—rather than in the notation of the seminal paper Girard 1987) F and f in the former case and T and t in the latter, with the following Mset-Mset rules, the Greek letters now standing for finite multisets of formulas (and commas for multiset union):