No result about Redundantthinking