RChain developer Pawel Szulc leads a discussion on TLA (Temporal Logic of Actions) with Greg Meredith and Isaac DeFrain.