The Proper Implications of Infinity