Title: Proving nothing