Example: NFZ bound to 1YKI