Making the assumptions concerning the CSEs explicit