Moving towards supporting very weak inference.