Correct bound instance