demodulate

Synopsis:

demodulate

Pre-conditions:

None.

Action:

TODO

New sequents to prove:

None.