specs for DieNotation