Provection definitions