codification of the principle of legality