Finish first attempt of definitions and tests.