James Welch: Focusing on LTL Basics