Finalizing examples for specification.