Add assumption