proves forms