The DCS Theorem. - Greg Slepak; Anya Petrova (CoRR, 2018)