Spro-Cas: Motivations and Assumptions