New: logicofseparation