finished prolegomena