Synthesizing webDemo and serverDemo