Held that antenuptial (prenuptial) agreements allocating marital property are valid under Minnesota common law but must satisfy both procedural and substantive fairness, with the proponent bearing the burden of proof.