algekalipso comments on State-Space of Background Assumptions