Finito $WCT