RT AA A1 Wunder, Tyler T1 Anti-naturalism and proper function