Detta motsvarar 9 § 4 i den nuvarande instruktionen .