* Implementing Fixpoint operator fox linear cavities.