fix logical.t