Cellproof before and after 1