reifikacja ograniczenia