This way, an addition in external libraries
cannot shadow a definition in Prosa.