@misc{indiciae238a3683af1b, title = {Complete logics for elementary team properties}, author = {Juha Kontinen and Fan Yang}, year = {2022}, url = {https://arxiv.org/abs/1904.08695}, note = {Source identifier: 1904.08695} }