Hot: logicofseparation