Give earth.topos() real arguments with names