`Symbol` appears to respond to `succ`, why can't we use that?