 The conceptual distinction between distributive and corrective justice seems clear, but their normative relationship is more difficult to pin down (see Perry 2000, Ripstein 2004, Coleman 1992, chs. 16–17). Some have claimed that corrective justice is merely instrumental to distributive justice: its aim is to move from a situation of distributive injustice brought about by the faulty behaviour to one that is more nearly (if not perfectly) distributively just. But this view runs into a number of objections. One is that so long as Alice has a legitimate title to her computer, her claim of corrective justice against Bill does not depend on her having had, prior to the theft, the share of resources that distributive justice ideally demands. She might be richer than she deserves to be, yet corrective justice still require that the computer be returned to her. In other words, corrective justice may serve to promote conservative rather than ideal justice, to use the distinction introduced in 2.1. Another objection is that corrective justice requires the wrongdoer himself to restore or compensate the person he has wronged, even if the cause of distributive justice could be better served by transferring resources from a third party – giving Alice one of even-more-undeservedly-rich Charles’s computers, for example. This underlines the bilateral nature of corrective justice, and also the fact that it comes into play in response to faulty behaviour on someone’s part. Its primary demand is that people should not lose out because others have behaved wrongfully or carelessly, but it also encompasses the idea that ‘no man should profit by his own wrong’. If Alice loses her computer in a boating accident, she might, under an insurance scheme, have a claim of distributive justice to a new machine, but she has no claim of corrective justice.