filling out more specs for DieNotation