Unique paths as formal points