proving false is also useful