add example theories