added some basicAssumptions
added feed specs