Theorem of Joy

To forgive