The gods condemned Sisyphus to perform mappings that always result in the identity function.
f: A -> B (Sisyphus pushes the rock from the bottom to the top);
g: B -> A (the rock rolls down to the bottom).
f: A -> B (Sisyphus pushes the rock from the bottom to the top);
g: B -> A (the rock rolls down to the bottom).