substitute (Plus  a b) x value = Plus  (substitute a x value) (substitute b x value)
substitute (Plus  a b) x value = Plus  (substitute a x value) (substitute b x value)
substitute (Plus  a b) x value = Plus  (substitute a x value) (substitute b x value)