The Hidden Power of Specifications