Reasoning about justice in Plato's Republic