Example: ZK5 bound to 1GS4