Text this: Multi-level logic and performance optimization by Implication analysis /