back [alt+←]
15

What does 'TLA+' mean, anyway in programming by Computer Things