Independence of premisses and the free topos