How do you write a specification?