theoretical kinds