Keywords: formalized into law