after proof