Saladofstones about 14 years ago Implicating hat_bow -> bow.Reason: The former requires the latter.Alsocreate implication hat_bow -> hat Updated by a moderator about 14 years ago Reply Copy ID Copy Link