renaming "contexts" to "implied"