abs is idempotent because the second application of abs to the return value of the first application to -3 returns the same value as the first application to -3.
abs is idempotent because the second application of abs to the return value of the first application to -3 returns the same value as the first application to -3