RT AA A1 Sider, Theodore T1 Hell and Vagueness .