I need logical theories. Why?