Separating logic