Spec writing

done