Contributed by Peiran Tan
Contributed by Nick Sherman
Contributed by Florian Hardwig
Contributed by Luzi Type