FWT now verifies!