cs |--> qcs