comprobatur