The proof of Ren-C is in that it works, while Red does not.
It's kind of like I have a patent on zero (NULL), negative numbers (QUASIFORM!), and imaginary numbers (antiforms)... and they're trying to do math without them. #goodluckwiththat !
This is the correct explanation:
Red hasn't gotten past multiplication.