evaluate substitution (Sqrt  a)    = sqrt (evaluate substitution a)
evaluate substitution (Sqrt  a)    = sqrt (evaluate substitution a)
evaluate substitution (Sqrt  a)    = sqrt (evaluate substitution a)