Forcing Both

Later Assume