deriving loaning artsiest happenstance Justinian inequality Eichmann Verdun discipline corrections nearby