So far we established in natural language two universal properties of contracts we can rely on: a) contracts are immutable and b) can not alienate personal rights In their simplicity this might appear almost useless