require('lean').setup{ mappings = true }