Spelling

s/definional/definitional
Solution to Exercice 1.3

Either this solution or the indication that the exercise requires
concept from the second chapter is false as I only used path induction
here…