nonassumptions