neaten abstraction; mostly finish 1.1 (pretty short)
add sentence from spec (at least allowed to do that without permission, jeez)