Testing shows it worked.