core theories with test coverage