I think I like Praxidike and Nemesis more than Dike, because Dike is also representative of societal norms, which... does not have that great of an implication. Dike is not in service to the people, but to authority. Praxidike is representative of the collective progress done more than Dike is.