  In this note we discuss a variant of linear logic with idempotent exponential
modalities. We propose a sequent calculus system and discuss its semantics. We
also give a concrete relational model for this calculus.
