SPEC as mardown to