more work on DieNotation