Example: KAN bound to 1KNY