Corrected logical problems