real contraction

.