The docstring should say `"Function fun if commit succeeds."`