Logic is Hard