Lime trees and variables