Tag: correct assumption