however , he had actually spent the entire summer in stanton , holed up in his house with his reference books , working on his analysis of existential predicates in the predicate calculus , a topic which usually held his mind enthralled with its application to symbolic logic , its contribution to rigid , unflinching order .