boilerplate prove