the expensive bugs are usually gaps in the spec itself