Reading through some implementation of csp