Example: 4KO bound to 4KOS