Back of WRTW proof