Gene Key 4: Formulization