This RCast begins with a discussion of TLA (Temporal Logic of Actions), but most of the conversation focuses on LADL between Greg Meredith, Isaac DeFrain, and Christian Williams.