changed to extended abstract format