fixpoint operators for Conv