Turkish nationals X and Y and British nationals Z decide to buy a ship (M/V Demir) from S on 1 November 2016. Y puts 30,000 TL, X 300,000 TL and Z 320,000 TL to register and operate the ship. under the full name of the participating owner. Thereupon, the owners of the affiliates agreed with the cargo owner X to transport 100 containers of tomatoes from Izmir to Hamburg on 10 November 2016. During this transport, M/V Demir crashed into M/V DÜNYA on November 16, 2016. and sank irrecoverably.

Briefly explain the concepts of "proof of form" and "formal form". Are there examples of each form in the case given above?