Vigor, Why Do We Trust Ada