Example: SCK bound to 2HA2