Stuy: add StuyKC Induction