Revert "fun"

This reverts commit e1c6e235a9107f9af1992f9c721831b5c5b05fd5.