The Y induction - Beta (not final)