Careful Spec’ing Yields Higher Payloads