fix problem that noise can be a godel number