abstractions of ordered data cs 216 3428645