complete except extended abstract