They are then available for compilation, complementary synthesis, and on-going refinement.