theory/circle not found