Title: Do-it's proof