$WCT below has nothing left