Cellproof before and after 3