Adds theoretical framework for tests