Robuta

https://nuprl-web.cs.cornell.edu/sfa/Nuprl/eduprl/Xnequal.html Nuprl - Definition Cascade for nequal definitioncascade