I actually think these are really good examples. I especially like the shape example, because you quickly run into problems where you can talk about the differ

I actually think these are really good examples. I especially like the shape example, because you quickly run into problems where you can talk about the difference between modeling for a solution and representing an abstraction.