In the rule “Files”, add

As a virtual action, an Agent may ‘’‘write a program’‘’ by specifying the type of exactly one Program from the table “Programs” and the name of exactly one File in their Warez that doesn’t already have a Program. The Mainframe will set that File’s Program to be the specified Program, adding the Program’s type in brackets to the end of the File’s name.

In the same rule, replace “A name, which is a string defaulting to “untitled”” with

An unique ‘’‘name’‘’, which is a string defaulting to “untitled”. If ever there would be two Files with the same name in the same list as a result of a virtual action, the Mainframe should add an arbitrary number to the end of either File’s name so that the names are unique.

To the subrule “The Dark Web” of the rule “Clients”, add

As a daily action, the Mainframe should ‘’‘refresh the Dark Web’‘’, which is an atomic action with the following steps:
*remove three privately randomly chosen Files from the Dark Web
*Add three new Files to the Dark Web’s Files and optionally give them any valid unique names
*Privately randomly choose a File of the added Files and make its Program a privately random Program from the table “Programs”
*Privately randomly choose a File of the added Files and make it corrupted by a privately random Malware from the table “Malwares” excluding Trojan horse.