Compositional synthesis included.