A method issue: from definition to rules. An application for answering a family law question: are prenuptial agreements effective or void?