Cellproof before and after 2