Text this: Bhartrhari, philosopher and grammarian