Gennyckel 4: Formulering