ProveArc on Arc — ArcLens