requires Lawn with Empty as interface LawnSmart;