Om den nu gifna formeln blir förriksda