logic's CS