fixed application, empty context still wrong
contexts now refined, compiles but should check