WFT?
Add 2. Slovní definice integritního omezení