before making carry explicit