small edit to declarative
outline in introduction. add static scheduling