passive_synthesis