A Sound and Complete Dialogue System for Handling Misunderstandings