(given that he does set ops on them above i think it's right)