expanding exp
recursion
to do