Shaping the enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting