strict proof