Symbol: SHOULD_HAVE