Bar 1_TBNNBS_Basic Common Induction