Summary: From Authority Problems to Embracing Coversity