按照黑格尔对形式契约与实在契约的区分，下列属于实在契约的是（　）。