base case associativity....