Formally, this is an example of positive punishment where the addition of a stimulus decreases the likelihood of the target behavior occuring again.

Yes, that’s what i meant. Thanks.

negative reenforcement learning (example)