verificabatur