Bool synthesis