Talk:Domain reduction algorithm