When we teach arithmetic to children, we make use of counterfactuals: "If you had two oranges, and got two more, you would have four. So, two and two makes four." Then, later on, we say "Two plus two is four." There are three steps here. First, the counterfactual. Then, an implicitly universal claim: two and two (always) makes four. Finally, a categorical mathematical claim: two plus two is four. I wonder if it might not be a mistake to focus on the final claim in philosophy of mathematics. Perhaps it is a mere abstraction from the first and second, having no additional content?