learning:tla_summary