UCC §§ 2-207(1) (“Battle of the Forms”) and Pseudo-Code

def formed_but_no_terms()
  puts "Contract formed but the additional terms are not included."
end

def additional_terms
  if (response to an offer is an acceptance or confirmation and it proposes additional terms)
    if (contract is for sale of goods)
      if (parties are merchants)
        if (offer limited acceptance to its terms)
          formed_but_no_terms()
        else 
          if (terms materially alter the contract)
            formed_but_no_terms()
          else
            if (offeror objected to the new terms in a reasonable time)
              formed_but_no_terms()
            else
              K FORMED INCLUDING THE ADDITIONAL TERMS
            end
          end
        end
      else
        formed_but_no_terms()
      end
    else
      offer rejected and counteroffer made
    end
  else
    offer accepted
  end
end