T | has(m)