Tag domain theory