Text this: Realizability algebras: a program to well order R