(f) lowers

by @Gaethje

Gaethje