value induction principle on records