Be sure to check into Frank Turek’s website: http://www.crossexamined.org/
What bothers me is Frank does not nail down his arguments but gets distracted by obfuscators such as Crowell. I mean “I don’t know” is a belief despite Crowell’s arguments. End the discussion there. I expect you could expose Crowell as a nominalist. All the obscuration with semantics should be dealt with accordingly.