 We saw at the beginning of this article that justice can take a number of different forms, depending on the practical context in which it is being applied. Although we found common elements running through this diversity of use – most readily captured in Justinian’s ‘suum cuique’ formula – these were formal rather than substantive. In these circumstances, it is natural to look for an overarching framework into which the various contextually specific conceptions of justice can all be fitted. Three such frameworks were examined: utilitarianism, contractarianism and egalitarianism. None, however, passed what we might call the ‘Sidgwick/Rawls test’, namely that of incorporating and explaining the majority at least of our considered convictions about justice – beliefs that we feel confident in holding about what justice requires us to do in a wide and varied range of circumstances (for Rawls’ version of the test see the entry on  reflective equilibrium).  So unless we are willing to jettison many of these convictions in order to uphold one or other general framework, we will need to accept that no comprehensive theory of justice is available to us; we will have to make do with partial theories – theories about what justice requires in particular domains of human life. Rawls himself, despite the bold title of his first book (A Theory of Justice), came to recognize that what he had outlined was at best a theory of social justice applied to the basic institutional structure of a modern liberal state. Other forms of justice – familial, allocative, associational, international – with their associated principles would be applicable in their respective domains (for an even more explicitly pluralist account of justice, see Walzer 1983; for a fuller defence of a contextual approach to justice, see Miller 2013, esp. ch. 2).