Example: 3NF bound to 3NFZ