Support list verification in specs.