First checked proof