Sklop pravil obsega zveze med predmeti in njihovimi določili, povezane s puščicami. Lastnosti izvedljivega programa rm se v zgledu nikakor ne smejo spreminjati, razen dveh kontrolnih vsot SHA (S) in HAVAL (H), ki jih ne preverjamo, ter časa zadnjega dostopa (a). Zdaj že sumimo, da nedotaknjenost vsebine datotek preverjamo s kontrolnimi vsotami.