True but I think the coffee machine definition of 4-5oz per coffee “cup” usually also assumes a stronger European strength of coffee which is quite concentrated. Most Americans seem to make coffee larger but more watered down, so it could be back to a 10oz mug is 1 or 1.5 cup equivalents.