abstract!
final polish for extended abstract