A consistency proof relative to a restricted model does not establish consistency of the full theory...