Improved reasoning and highlighting inconsistencies