BYE can now be challenged. darcs-hash:20080226160937-65a35-fd58668dcea23da7f557a50f742942182e5edf35.gz