Utilities for getting subformulae