The problem is no proper theory of backups exists: https://news.ycombinator.com/item?id=41173227