Episodes on identifying and translating formal logic statements.