Nótese que la precondición de "cond_signal" coincide con la postcondición de wait, así como la precondición de "cond_wait" coincide con la postcondición de signal.