The Kaupthing Singer and Friedlander decision, the rule against double proof and the rule in Cherry v Boultbee