Implicating instant_loss_2koma → before_and_after
Link to implication
Reason:
Format of former is a subset of latter
EDIT: The tag implication instant_loss_2koma -> before_and_after (forum #256496) has been rejected by @NotMeNotYou.
Updated by auto moderator