WCB alternative (using explicit matrices)