Proven Adornment of Extra Attacks (I)