added main ideas of the bug in Charles' paper