Ideal and Truth