BUR #58471 is pending approval.
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.