Text this: Colinvauxʹs law of insurance