Corollary

At least one bug will be observed after the author leaves the organization.