Hot Do@@,ctor Get/@s ;(Double [Dominated 正片