Symbol: semvalid