Thank God We Have A Specification!