switched to a better version of Lifted, where it is obvious which parameter we have to be defined off of