GreedyRestrictor