renamed stipulations