Added specifications for ex1.