Module 1: Introduction to WTL