accessible in principle via algebra and geometry