it has been broadly used this operational synthesis