Finish example_1 spec. Make a proper spacing and simple definitions