That was exactly the point, if you abstract then you are handwaving details (unless you abstract inside a formal system that itself defines methods for abstract

That was exactly the point, if you abstract then you are handwaving details (unless you abstract inside a formal system that itself defines methods for abstraction and then you are back to square one)