I should have written: If we add the line deb http://mirror.cs50.net/appliance50/2014/debs/dists/trusty/main/binary-i386 / to /etc/apt/sources.list, and run...