assertion format and validity