Therefore_sign