Symbol checking (almost)