Marine insurance is a type of insurance that covers boats and ships, as well as their cargo and in some instances the places where the boat or ship is docked. Actual total loss and constructive total loss are used to differentiate the degree of proof where a vessel or cargo has been lost. An actual total loss occurs where the damages or cost of repair clearly equal or exceed the value of the property. A constructive total loss is a situation where the cost of repairs plus the cost of salvage equal or exceed the value. The use of these terms is contingent on there being property remaining to assess damages, which is not always possible in losses to ships at sea or in total theft situations. In this respect, marine insurance differs from non-marine insurance, where the insured is required to prove his loss. Traditionally, in law, marine insurance was seen as an insurance of “the adventure”, with insurers having a stake and an interest in the vessel and/or the cargo rather than simply an interest in the financial consequences of the subject-matter’s survival.