Finished idempotents, start path algebra properties