Some more clarifications, especially with provides