add show_inconsistencies()