Text this: Noncommutative Gröbner bases and filtered-graded transfer /