ATL Introduction