(= (g $t) (h $t $t))
(= (h $a $b) (* $a $b))