Software could be bug-free without being proven?