subassumptions