Foundations of rigid geometry | lit.salon