A Wfcxx&t as finitrast