Backward synthesis