One football player is in the process of tackling another during a football game.
One football player is in the process of tackling
if one football player is in the process of tackling then one football player must be in the process of tackling.
(-x)
(-x)