What outcome is stated for the formula addressed before consummation?Legal Meanings of Bal, Lakin and AwThree divorces necessarily occurNo divorce occursOnly two divorces occurOne divorce takes effect