Let's spec