Uses cds assert