GenTube | a large glowing box labeled 'real numbers', positioned at th...