Value: inductively

Edit | Back