Excellent point - a formal system can't have 'speed.'