formalized license