Israel’s Strike Was Smaller Than Expected, and So Was Iran’s Reaction