Recursion for expressions fixed