BUR #58471 has been approved by @nonamethanks.
create implication crazy_grin -> crazy_smile
create implication crazy_grin -> grin
Evil grin implies evil smile, so by that same logic, crazy grin should imply crazy smile. Evil grin also implies grin, so crazy grin should as well.