Easier loading for test theories.