Yes, we did discover the Higgs