Search: induction print
induction private
induction property
induction return
induction since
induction still