Exact and Abstract



an argument
for abstraction