Hilbert's arithmetic of ends
 
x
OK