Copyright information.
RCBDD synthesis.