Non-locality of the meet levels of the Trotter-Weil Hierarchy. - João Daniel Moreira (CoRR, 2017)