黑格尔在著作中区分了形式的契约和（）。