ByNobleID
    Which formulae shrink under random restrictions | NobleID