P
Initializing...
Absolute value is a tropical (max-plus) sum · Prove2Me