invalidity proof