LiquidFun implementation