Cellproof before and after 5