Example: CVI bound to 1JTX