#demonstration synthesis