trenchers noun (grit)