Implicating micro_in_hand → micro
Link to implication
Reason:
Also, if there's a micro in an hand,
that hand must belong to a macro so:
Implicating micro_in_hand → macro
EDIT: The tag implication micro_in_hand -> micro (forum #272542) has been approved by @Millcore.
Updated by auto moderator