bath/data/theory/i48.pdf