synthetic and forSome problems are resolved