Lines Matching full:principle
5513 % . we're printing identifiers, they should be in tt in principle.
