Is it just me or does anyone else feel really sad that TCU lost?