additional progress on properties of source contexts