ByNobleID
    Induction proof with rubric | NobleID